Teledyne Isco Syringe Pumps 65DM High Pressure Syringe Pump 10,000 psi for Low Flow Pressure Rate Applications The 65DM syringe pump provides precise, predictable flow and pressure control at flow rates from sub-microlit

Source URL: www.isco.com

Transformation-aware Exploit Generation using a HICFG Dan Caselden Alex Bazhanyuk Mathias Payer Laszlo Szekeres

Source URL: www.eecs.berkeley.edu

• Computer memory
• Computing
• Software bugs
• Software engineering
• Cyberwarfare
• Buffer overflow
• Program analysis
• Control flow graph
• Data buffer
• Data-flow analysis
• Vulnerability

Church: a language for generative models Noah D. Goodman, Vikash K. Mansinghka∗, Daniel M. Roy, Keith Bonawitz & Joshua B. Tenenbaum MIT BCS/CSAIL Cambridge, MA 02139

Source URL: stanford.edu

• Software engineering
• Computer programming
• Computing
• Lambda calculus
• Functional programming
• Programming languages
• Data types
• Control flow
• Eval
• Bayesian network
• Scheme
• Lisp

Priority-Based Meta-Control within Hierarchical Task Network Planning David J. Musliner and Robert P. Goldman Smart Information Flow Technologies (SIFT) Minneapolis, MNEmail: {dmusliner, rpgoldman}@sift.info

Source URL: musliner.com

A Security Domain Model for Static Analysis and Verification of Software Programs Alan B. Shaffer Naval Postgraduate School Computer Science Dept Monterey, CA, USA

Source URL: cisr.nps.edu

• Crime prevention
• Cryptography
• Information governance
• National security
• Computer security
• Covert channel
• Information flow
• Program slicing
• Mandatory access control
• Alloy Analyzer
• Domain-specific language
• Information security

Automation From Driver Assistance Systems to Automated Driving V D A M A G A Z I N E — A U T O M AT I O N

Source URL: www.iaa.de

• Advanced driver assistance systems
• Road transport
• Road traffic management
• Traffic law
• Emerging technologies
• Autonomous car
• Traffic congestion
• Traffic flow
• Lane departure warning system
• Autonomous cruise control system
• Car
• Right- and left-hand traffic

A Security Domain Model for Implementing Trusted Subject Behaviors Alan Shaffer, Mikhail Auguston, Cynthia Irvine, Timothy Levin  Naval Postgraduate School, Computer Science Department, 1411 Cunningham Rd., Monterey, Ca

Source URL: cisr.nps.edu

• Computer security
• Computer access control
• Information theory
• Access control
• Mandatory access control
• BellLaPadula model
• Trusted Computing
• Trusted computing base
• Principle of least privilege
• Information flow
• Security kernel

Distributed Algorithms for Nash Equilibria of Flow Control Games 1 2 ; Tansu Alp an3 and Tamer Basar4 3rd January 2002

Source URL: tansu.alpcan.org

Exact Flow Analysis by Higher-Order Model Checking Yoshihiro Tobita, Takeshi Tsukada, and Naoki Kobayashi Tohoku University, Japan Abstract. We propose a novel control flow analysis for higher-order

Source URL: www-kb.is.s.u-tokyo.ac.jp

KCoFI: Complete Control-Flow Integrity for Commodity Operating System Kernels John Criswell, Nathan Dautenhahn, and Vikram Adve Department of Computer Science University of Illinois at Urbana-Champaign Email: {criswell,d

Source URL: www.ieee-security.org